Abstract type

Results: 1261



#Item
391Data types / Procedural programming languages / Primitive types / Fortran / Cross-platform software / Pointer / C / Array data type / Module / Computing / Software engineering / Computer programming

ISO/IEC JTC1/SC22/WG5 N1891 The new features of Fortran 2008 John Reid, JKR Associates, UK March 13, 2014 Abstract

Add to Reading List

Source URL: www.fortranplus.co.uk

Language: English - Date: 2015-05-25 06:06:32
392Anatomy / Blood transfusion / Blood type / Blood donation / Rh disease / Transfusion related acute lung injury / Hemolytic disease of the newborn / Plasmapheresis / Cross-matching / Medicine / Transfusion medicine / Blood

ASBT Anti-D quantitation working party Graeme Woodfield, Tanya Davison, Brian Fisher and Julie Watt Abstract not available at time of printing Improving appropriateness of blood transfusion in the 21st century

Add to Reading List

Source URL: www.anzsbt.org.au

Language: English - Date: 2005-08-31 20:27:04
393Formal languages / Applied mathematics / Dependently typed programming / Type theory / Mathematical logic / Rewriting / Abstract rewriting system / Logic / Curry–Howard correspondence / Theoretical computer science / Logic in computer science / Mathematics

Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite

Add to Reading List

Source URL: www.ii.uib.no

Language: English - Date: 2013-10-30 09:43:20
394Health / Immune system / Immunology / Type 1 hypersensitivity / Immunologic tests / Atopy / Allergy / Atopic dermatitis / Allergen / Medicine / Allergology / Anatomy

Microsoft Word - VDE908-abstract Japanese

Add to Reading List

Source URL: www.2ndchance.info

Language: English - Date: 2014-02-04 14:19:24
395Group theory / Geometric group theory / Combinatorics on words / Group action / Symmetry / Subshift of finite type / Conjugacy class / Line graph / Out / Abstract algebra / Mathematics / Graph theory

PDF Document

Add to Reading List

Source URL: www-igm.univ-mlv.fr

Language: English - Date: 2010-11-24 04:00:44
396Myers-Briggs Type Indicator / Personality type / ENFJ / ESTJ / ISFJ / ENFP / Jungian cognitive functions / ISTJ / ESFJ / Personality / Mind / Personality tests

A Personal Odyssey: Myers Briggs Type Indicator Preferences And Personal Responses To Photographs Anne L. Russell Email: Abstract The purpose of this paper is to consider the ways differen

Add to Reading List

Source URL: www.russellsynergies.com.au

Language: English - Date: 2013-08-01 05:03:56
397Mathematical logic / Computing / NuSMV / XML / Static single assignment form / Model checking / Linear temporal logic / Computation tree logic / Type system / Theoretical computer science / Temporal logic / Logic in computer science

SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2011-08-18 01:13:32
398Abstract algebra / Numerical linear algebra / Matrix theory / Eigenvalue algorithm / Eigenvalues and eigenvectors / Vector space / Lp space / Weight / Algebra / Mathematics / Linear algebra

Accuracy analysis on the Rayleigh-Ritz type of the contour integral based eigensolver for solving generalized eigenvalue problems Akira Imakura1,* , Lei Du2 , and Tetsuya Sakurai1,3 1

Add to Reading List

Source URL: www.cs.tsukuba.ac.jp

Language: English - Date: 2014-05-30 00:58:32
399Data types / Computer programming / Object-oriented programming / Functional programming / Polymorphism / Type system / Variable / Type class / C / Software engineering / Computing / Type theory

Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1

Add to Reading List

Source URL: www.cas.mcmaster.ca

Language: English - Date: 2007-06-24 16:58:38
400Array programming languages / Procedural programming languages / APL programming language family / Functional languages / Arrays / Array data type / Array data structure / Compiler optimization / Array / Computing / Software engineering / Computer programming

Shape Cliques Robert Bernecky October 18, 2007 Abstract

Add to Reading List

Source URL: www.snakeisland.com

Language: English - Date: 2008-07-16 15:01:08
UPDATE